Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility
نویسنده
چکیده
We study intransitive temporal logic implementing multiagent’s approach and formalizing knowledge and uncertainty. An innovative point here is usage of non-transitive linear time and multi-valued models the ones using separate valuations Vj for agent’s knowledge of facts and summarized (agreed) valuation together with rules for computation truth values for compound formulas. The basic mathematical problems we study here are decidability and decidability w.r.t. admissible rules. First, we study general case the logic with non-uniform intransitivity and solve its decidability problem. Also we consider a modification of this logic temporal logic with uniform non-transitivity and solve problem of recognizing admissibility in this logic.
منابع مشابه
Knowledge Representation in Agent's Logic with Uncertainty and Agent's Interaction
This paper studies knowledge representation in multi-agent environment. We investigate technique for computation truth-values of statements based at new temporal, agent’s-knowledge logic TL Dist . A logical language, mathematical symbolic models and a temporal logic TL KnI,U Dist based at these models are suggested. We find an algorithm which computes theorems of TL Dist and satisfiability of s...
متن کاملIntroducing plausibility measures in the processof revision of beliefs through extended logicprogramsBerilhes
A new proposal for incorporating new evidence in an agent's knowledge base is presented in this paper. This proposal is based on a semi-qualitative notion of plausibility and on the abductive explanation for the newly observed fact. Plausibility is determined by speciicity relations between the default rules in the agent's knowledge base and by the agent's contingential knowledge. We demonstrat...
متن کاملAlgorithm for Decision Procedure in Temporal Logic Treating Uncertainty, Plausibility, Knowledge and Interacting Agents
Our paper studies a logic UIALTL, which is a combination of the linear temporal logic LTL, a multi-agent logic with operation for passing knowledge via agents’ interaction, and a suggested logic based on operation of logical uncertainty. The logical operations of UIALTL also include (together with operations from LTL) operations of strong and weak until, agents’ knowledge operations, operation ...
متن کاملLinear Intransitive Temporal Logic of Knowledge LTK_r, Decision Algorithms, Inference Rules
Our paper investigates the linear logic of knowledge and time LTKr with reflexive intransitive time relation. The logic is defined semantically, – as the set of formulas true at special frames with intransitive and reflexive time binary relation. The LTKr-frames are linear chains of clusters connected by a reflexive intransitive relation RT . Elements inside a cluster are connected by several e...
متن کاملRational play and rational beliefs under uncertainty
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for imperfect information games that allows to express strategic and epistemic properties of coalitions under uncertainty. In this paper, we propose a logic that extends csl with a notion of plausibility that can be used for re...
متن کامل